SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 
Not enough search parameters. I'm using defaults.
You have chosen search in content of rpms.
Display 201 - 240 hits of 359. Search took 0.00 seconds.
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9

Search results for Agda :
Fedora 18 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/18/Everything/x86_64/os/Packages/e/emacs-agda-2.3.0.1-7.fc18.x86_64.rpm
Fedora 18 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/18/Everything/i386/os/Packages/e/emacs-agda-2.3.0.1-7.fc18.i686.rpm
Fedora 16 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/16/x86_64/emacs-agda-2.3.0.1-2.1.fc16.x86_64.rpm
Fedora 16 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/16/i386/emacs-agda-2.3.0.1-2.1.fc16.i686.rpm
Fedora 19 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/19/Everything/x86_64/os/Packages/e/emacs-agda-2.3.0.1-10.fc19.x86_64.rpm
Fedora 19 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/19/Everything/i386/os/Packages/e/emacs-agda-2.3.0.1-10.fc19.i686.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/41/Everything/s390x/os/Packages/a/Agda-stdlib-1.7.3-7.fc41.noarch.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/rawhide/Everything/s390x/os/Packages/a/Agda-stdlib-1.7.3-7.fc41.noarch.rpm
Fedora Other /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/41/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.7.3-7.fc41.noarch.rpm
Rawhide /vol/rzm3/linux-fedora-buffet/fedora-secondary/development/rawhide/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.7.3-7.fc41.noarch.rpm
Fedora 38 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/38/Everything/x86_64/os/Packages/a/Agda-stdlib-1.7.1-5.fc38.noarch.rpm
Fedora 37 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/37/Everything/x86_64/os/Packages/a/Agda-stdlib-1.7.1-3.fc37.noarch.rpm
Fedora 37 /vol/rzm3/linux-fedora-buffet/alt/risc-v/repo/fedora/37/76833/riscv64/Packages/a/Agda-stdlib-1.7.1-3.fc37.noarch.rpm
Fedora 36 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/36/Everything/x86_64/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm
Fedora 36 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/36/Everything/ppc64le/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm
Fedora 36 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/36/Everything/x86_64/os/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm
Fedora 36 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/36/Everything/aarch64/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm
Fedora 36 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/36/Everything/s390x/os/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm
Fedora 36 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/36/Everything/aarch64/os/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm
Fedora 36 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/36/Everything/s390x/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm
Fedora 36 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/36/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.7.1-1.fc36.noarch.rpm
Fedora 35 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/35/Everything/s390x/os/Packages/a/Agda-stdlib-1.7-1.fc35.noarch.rpm
Fedora 35 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/aarch64/os/Packages/a/Agda-stdlib-1.7-1.fc35.noarch.rpm
Fedora 35 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/35/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.7-1.fc35.noarch.rpm
Fedora 35 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/35/Everything/x86_64/os/Packages/a/Agda-stdlib-1.7-1.fc35.noarch.rpm
Fedora 34 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/34/Everything/s390x/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm
Fedora 34 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/x86_64/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm
Fedora 34 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/34/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm
Fedora 34 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/armhfp/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm
Fedora 34 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/34/Everything/aarch64/os/Packages/a/Agda-stdlib-1.3-5.fc34.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/33/Everything/ppc64le/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/33/Everything/x86_64/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/x86_64/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/33/Everything/s390x/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/33/Everything/armhfp/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/armhfp/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/updates/testing/33/Everything/ppc64le/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora-secondary/releases/33/Everything/s390x/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/updates/testing/33/Everything/aarch64/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
Fedora 33 /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/33/Everything/aarch64/os/Packages/a/Agda-stdlib-1.3-4.fc33.noarch.rpm
1
1
2
2
3
3
4
4
5
5
6
6
7
7
8
8
9
9
 
ICM